Inhalt des Dokuments
zur Navigation
Publikationen
| Zitatschlüssel | DBLP:journals/iandc/NestmannP00 |
|---|---|
| Autor | Uwe Nestmann and Benjamin C. Pierce |
| Seiten | 1-59 |
| Jahr | 2000 |
| Journal | Inf. Comput. |
| Jahrgang | 163 |
| Nummer | 1 |
Modelle und Theorie Verteilter SystemePublikationen
